Constraint logic programming - PDFSEARCH.IO - Document Search Engine

Constraint logic programming
Results: 401

#	Item
91	Development and Evaluation of LAV: an SMT-Based Error Finding Platform? System Description Milena Vujoˇsevi´c-Janiˇci´c1 and Viktor Kuncak2 1 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-11-18 09:02:21 Control flow Constraint programming Electronic design automation Logic in computer science Satisfiability Modulo Theories LLVM For loop C Static single assignment form Computing Software engineering Computer programming
92	Executing Specifications using Synthesis and Constraint Solving Viktor Kuncak?1 , Etienne Kneuss1 , and Philippe Suter1,2 1 2 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-07-10 09:01:49 Computer programming Constraint satisfaction problem Satisfiability Modulo Theories Constraint satisfaction Constraint logic programming Constraint programming Theoretical computer science Software engineering
93	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Functional Synthesis for Linear Arithmetic and Sets Viktor Kuncak, Mika¨ el Mayer, Ruzica Piskac, Philippe Suter? Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-11-29 17:36:57 Model theory Logic in computer science Constraint programming Predicate logic Semantics Satisfiability Modulo Theories Quantifier elimination First-order logic Function Logic Mathematical logic Mathematics
94	Software Synthesis Procedures ∗ Viktor Kuncak Mikaël Mayer LARA, I&C Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-12-03 07:53:01 Model theory Logic in computer science Constraint programming Electronic design automation Formal methods Satisfiability Modulo Theories Boolean satisfiability problem First-order logic Interpretation Mathematical logic Theoretical computer science Mathematics
95	Constraints as Control Ali Sinan K¨oksal Viktor Kuncak Philippe Suter ∗ Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-11-14 09:20:17 Software engineering Constraint logic programming Constraint satisfaction problem Satisfiability Modulo Theories Backtracking Prolog Constraint Lambda calculus Constraint satisfaction Constraint programming Declarative programming Theoretical computer science
96	Comfusy: A Tool for Complete Functional Synthesis Tool Presentation Viktor Kuncak, Mika¨el Mayer, Ruzica Piskac, Philippe Suter? Swiss Federal Institute of Technology (EPFL), Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-05-11 07:07:53 Logic in computer science Formal methods Constraint programming Electronic design automation NP-complete problems Satisfiability Modulo Theories Algorithm Presburger arithmetic Function Mathematics Theoretical computer science Mathematical logic
97	Introduction Comprehensions in CHR cp Monotonicity Add to Reading List Source URL: www.qatar.cmu.edu Language: English - Date: 2014-07-09 18:57:09 Computer programming Functional languages Constraint Handling Rules Constraint logic programming Pure Monad Multiset Declarative programming Software engineering Constraint programming
98	Tensors and Optimization Ravi Kannan September 16, 2013 Ravi Kannan Add to Reading List Source URL: simons.berkeley.edu Language: English - Date: 2014-03-13 13:08:11 Mathematical optimization Applied mathematics Mathematics Logic in computer science Constraint programming NP-complete problems Theoretical computer science Operations research Tensor
99	Artificial Intelligence–145 www.elsevier.com/locate/artint Book review R. Dechter, Constraint Processing, Morgan Kaufmann, 2003. Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2008-09-08 14:26:39 Computing Constraint satisfaction Local consistency Constraint logic programming Constraint optimization Mathematical optimization Search algorithm AC-3 Hybrid algorithm Constraint programming Software engineering Computer programming
100	Common Subexpressions in Constraint Models of Planning Problems Andrea Rendl, Ian Miguel, Ian P. Gent Peter Gregory School of Computer Science, University of St Andrews, UK Add to Reading List Source URL: andrearendl.com Language: English - Date: 2013-08-29 08:25:01 Computer programming Computing Constraint satisfaction Sokoban Common subexpression elimination Logic programming Constraint programming Software engineering Programming paradigms

UPDATE